Representing geometrical knowledge

Representing Knowledge About Knowledge And Mutual Knowledge

In order to represent speech acts, in a multi-agent context, we choose a knowledge representation based on the modal logic of knowledge KT4 which is defined by Sato. Such a formalism allows us to reason about knowledge and represent knowledge about knowledge, the notions of truth value and of definite reference.

Representing Knowledge Normalisation

The notion of an item and its normalisation are described. A taxonomy of normalisation is given as a set of ‘normal forms’; part of this taxonomy is a direct, but non-trivial, generalisation of the ‘classical’ normal forms for database. All of the normal forms may be applied to knowledge as well as to information. A normal form is derived which is not a generalisation of the classical normal fo...

Representing Knowledge Gaps Effectively

In knowledge acquisition, one typically encounters two difficult situations: First, there are times when the system requests information that, due to a lack of information, the user is not in a position to provide at the level of precision requested. Second, there are situations where the system cannot capture information at the level of precision the user wishes to provide. We describe the tec...

Representing "Just Invalid" Knowledge

Data, information and knowledge are all represented in a single formalism as “items”. Items contain two types of acceptability measures that measure the invalidity of item instances. Objects are item building operators that also contain two types of acceptability measures. These acceptability measures define a graduated acceptability region for data, information and knowledge. This region repre...

On Representing Commonsense Knowledge